Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
761	PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Algorithms Activity Guidelines Add to Reading List Source URL: cahsi.cs.utep.edu Language: English - Date: 2015-08-19 14:59:02 Theoretical computer science Algorithm Mathematical logic Algorithms Robot Parametric search Algorithm characterizations
762	LEARNING CIRCUITS AND NETWORKS BY INJECTING VALUES 1 Add to Reading List Source URL: www.levreyzin.com Language: English - Date: 2010-09-09 14:03:27 Computational complexity theory Theory of computation Theoretical computer science Circuit complexity Complexity classes Logic in computer science Clique problem Boolean circuit Clique Circuit ACC0 NC
763	ANNEXURE D: LIST OF REPUTED PUBLICATIONS IN CSE Acronym SIGCOMM SIGMETRICS CCS Add to Reading List Source URL: www.cse.iitd.ac.in Language: English - Date: 2016-03-26 00:11:24 Academia Computer science Computing Theoretical computer science Association for Computing Machinery ACM SIGACT International Conference on Functional Programming Computational intelligence Computational geometry Computational learning theory International Symposium on Symbolic and Algebraic Computation Algorithmica
764	PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Recursion Activity Guidelines Add to Reading List Source URL: cahsi.cs.utep.edu Language: English - Date: 2015-08-19 15:21:39 Software engineering Computer programming Recursion Subroutines Theoretical computer science Computability theory Fibonacci number Linked list Corecursion Anonymous function
765	Why Offensive Security Needs Engineering Textbooks or, how to avoid a replay of “crypto wars” in security research Sergey Bratus, Iv´an Arce, Michael E. Locasto, Stefano Zanero August 22, 2014 Offensive security—o Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2014-08-22 21:44:16 Formal sciences Cryptography Computer network security Crime prevention National security Exploit Computer security Vulnerability Computing Security hacker Theoretical computer science Computer science
766	LOWER BOUNDS ON LEARNING RANDOM STRUCTURES WITH STATISTICAL QUERIES 1 Add to Reading List Source URL: www.levreyzin.com Language: English - Date: 2010-10-08 08:44:26 Computational learning theory Machine learning Theoretical computer science Probably approximately correct learning Error Tolerance
767	Higher-Order and Symbolic Computation, 11, 363–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Definitional Interpreters Add to Reading List Source URL: cs.au.dk Language: English - Date: 2006-06-22 08:55:47 Software engineering Computer programming Computing Lambda calculus Subroutines Models of computation Functional programming Theoretical computer science Lisp Eval Expression Anonymous function
768	Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-30 13:11:03 Theoretical computer science Models of computation Mathematical logic Software engineering Computability theory Denotational semantics Logic in computer science Lambda calculus Substitution Function type
769	A Basic Linear Algebra Compiler Daniele Spampinato Markus Püschel Department of Computer Science ETH Zürich, Switzerland Add to Reading List Source URL: cgo.org Language: English - Date: 2014-02-27 09:26:47 Numerical linear algebra Software engineering Basic Linear Algebra Subprograms Numerical software Const Linear algebra Computing Theoretical computer science
770	Lower Bounds for Asynchronous Consensus Leslie Lamport 28 July 2004 Revised 20 August 2005 Minor corrections made 19 January 2006 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-01-20 16:53:25 Fault-tolerant computer systems Theoretical computer science Consensus Algorithm Computing Mathematics Distributed algorithms Machine learning

UPDATE